Free shipping on all orders! No minimum purchase required.

More from this Author

Found 2 books by Gopalan Nadathur

Programming with Higher-Order Logic

Programming with Higher-Order Logic

by Dale Miller, Gopalan Nadathur

Programming with Higher-Order Logic

Programming with Higher-Order Logic

by Dale Miller, Gopalan Nadathur

Bookstores.com relies on cookies to improve your experience.